constructive predicate calculus перевод

• логика
  конструктивное исчисление предикатов

• constructive:    1) строительный, относящийся к сооружениям2) строительный3) конструкторский4) созидательный, творческий, конструктивный Ex: constructive criticism конструктивная критика5) предполагаемый, подразумев
• predicate:    1) _грам. _лог. предикат, сказуемое2) _лог. утверждение3) предикативный Ex: predicate noun предикативное существительное, существительное в роли именной части составного сказуемого4) утверждать; зая
• predicate calculus:    исчисление предикатов лог. исчисление предикатов
• calculus:    1) _мат. исчисление Ex: the (differential) calculus дифференциальное исчисление Ex: calculus of probabilities исчисление вероятностей Ex: calculus of variation вариационное исчисление2) калькуляция3
• constructive calculus:    мат. конструктивное исчисление
• constructive propositional calculus:    конструктивное исчисление высказываний, конструктивное пропозициональное исчисление
• deductive predicate calculus:    логика дедуктивное исчисление предикатов
• extended predicate calculus:    матем. расширенное исчисление предикатов
• higher predicate calculus:    исчисление предикатов высших порядкоы
• modal predicate calculus:    модальное исчисление предикатов
• monadic predicate calculus:    исчисление одноместных предикатов
• multivalued predicate calculus:    многозначное исчисление предикатов
• one-place predicate calculus:    исчисление одноместных предикатов
• positive predicate calculus:    позитивное исчисление предикатов
• predicate calculus language:    язык исчисления предикатов